دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Michael Zakharyaschev, Frank Wolter, Alexander Chagrov سری: Handbook of Philosophical Logic, 2nd Edition, Volume 3 ناشر: Kluwer سال نشر: 2001 تعداد صفحات: 187 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 Mb
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Advanced Modal Logic [pp. 83-266] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق معین پیشرفته [ص. 83-266] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Advanced Modal Logic ......Page 1
1.1 The lattice NExtK ......Page 4
1.2 Semantics ......Page 8
Table 1. List of standard normal modal logics ......Page 9
1.3 Persistence ......Page 18
1.4 The degree of Kripke incompleteness ......Page 26
1.5 Stronger forms of Kripke completeness ......Page 30
1.6 Canonical formulas ......Page 33
1.7 Decidability via the finite model property ......Page 38
Table 2. Canonical axioms of standard modal logics ......Page 39
1.8 Subframe and cofinal subframe logics ......Page 43
1.9 More sufficient conditions of FMP ......Page 47
1.10 The reduction method ......Page 52
1.11 Logics containing K4.3 ......Page 54
1.12 Quasi-normal modal logics ......Page 56
1.13 Tabular logics ......Page 63
1.14 Interpolation ......Page 66
2 Polymodal logics ......Page 75
2.1 From unimodal to polymodal ......Page 77
Splittings and the degree of Kripke incompleteness ......Page 78
Some FMP results ......Page 79
2.2 Fusions ......Page 80
2.3 Simulation ......Page 86
2.4 Minimal tense extensions ......Page 89
2.5 Tense logics of linear frames ......Page 94
Table 3. Axiomatizations of standard tense logics ......Page 97
2.6 Bimodal provability logics ......Page 101
Table 4. Axiomatizations of provability logics ......Page 104
2.7 Cartesian products of modal logics ......Page 107
3 Superintuitionistic logics ......Page 110
3.1 Intuitionistic frames ......Page 111
Table 5. List of standard superintuitionistic logics ......Page 112
3.2 Canonical formulas ......Page 115
3.3 Modal companions and preservation theorems ......Page 118
Table 6. Canonical axioms of standard superintuitionistic logics ......Page 119
Kripke completeness ......Page 124
The finite model property ......Page 126
3.5 Disjunction property ......Page 129
3.6 Intuitionistic modal logics ......Page 135
4.1 Undecidable calculi ......Page 144
4.2 Admissibility and derivability of inference rules ......Page 149
4.3 Properties of recursively axiomatizable logics ......Page 155
4.4 Undecidable properties of calculi ......Page 156
4.5 Semantical consequence ......Page 160
Complexity function ......Page 161
Relation to complexity classes ......Page 164
Bisimulations ......Page 167
Acknowledgements ......Page 168
Bibliography ......Page 169